propositional equality
#Fleeting_Notes
propositional equality
$ a =_A b
読み方: a and b are (propositionally) equal
同じであるという
命題
確認用
Q. propositional equality
関連
同一視型
参考
『Homotopy type theory and Voevodsky's univalent foundations』
P18-P19
メモ
propositional equality in nLab
Propositional Equality
調査用
Google.icon
propositional equality(日)
Google.icon
Propositional equality(英)
Wikipedia.icon
propositional equality - Wikipedia(日)
propositional equality(検索) - Wikipedia(日)
Wikipedia.icon
Propositional equality - Wikipedia(英)
Propositional equality(検索) - Wikipedia(英)